Verifying Integrity of Decision Diagrams

Decision Diagrams (DDs) are the state-of-the-art data structure in CAD of integrated circuits. They are used in many safety critical applications, like veriication. In this paper security aspects of implementation techniques of DDs are discussed. A recursive checksum technique is presented for on-line and oo-line checks. These methods are used to verify the integrity of DDs. The correctness of the data structures can be veriied by (nearly) no overhead. Experimental results are presented to demonstrate the eeciency of this approach.